nfa conversion